On the complexity of counting components of algebraic varieties

نویسندگان

  • Peter Bürgisser
  • Peter Scheiblechner
چکیده

We give a uniform method for the two problems of counting the connected and irreducible components of complex algebraic varieties. Our algorithms are purely algebraic, i.e., they use only the field structure of C. They work in parallel polynomial time, i.e., they can be implemented by algebraic circuits of polynomial depth. The design of our algorithms relies on the concept of algebraic differential forms. A further important building block is an algorithm of Szántó computing a variant of characteristic sets. Furthermore, we use these methods to obtain a parallel polynomial time algorithm for computing the Hilbert polynomial of a projective variety which is arithmetically Cohen-Macaulay.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Complexity of Counting Irreducible Components and Computing Betti Numbers of Algebraic Varieties

This thesis is a continuation of the study of counting problems in algebraic geometry within an algebraic framework of computation started by Bürgisser, Cucker, and Lotz in a series of papers [BC03, BC06, BCL05]. In its first part we give a uniform method for the two problems #CCC and #ICC of counting the connected and irreducible components of complex algebraic varieties, respectively. Our alg...

متن کامل

Points of Bounded Height on Algebraic Varieties

Introduction 1 1. Heights on the projective space 3 1.1. Basic height function 3 1.2. Height function on the projective space 5 1.3. Behavior under maps 7 2. Heights on varieties 9 2.1. Divisors 9 2.2. Heights 13 3. Conjectures 19 3.1. Zeta functions and counting 19 3.2. Height zeta function 20 3.3. Results and methods 22 3.4. Examples 24 4. Compactifications of Semi-Simple Groups 26 4.1. A Con...

متن کامل

Rough ideals based on ideal determined varieties

The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...

متن کامل

A Software for Prediction of Periodic Response of Non-linear Multi Degree of Freedom Rotors Based on Harmonic Balances

It is the purpose of this paper to introduce a computer software that is developed for the analysis of general multi degree of freedom rotor bearing systems with non-linear support elements. A numerical-analytical method for the prediction of steady state periodic response of large order nonlinear rotor dynamic systems is addressed which is based on the harmonic balance technique. By utilizing ...

متن کامل

Polar, bipolar and copolar varieties: Real solving of algebraic varieties with intrinsic complexity

This survey covers a decade and a half of joint work with L. Lehmann, G. M. Mbakop, and L. M. Pardo. We address the problem of finding a smooth algebraic sample point for each connected component of a real algebraic variety, being only interested in components which are generically smooth locally complete intersections. The complexity of our algorithms is essentially polynomial in the degree of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Symb. Comput.

دوره 44  شماره 

صفحات  -

تاریخ انتشار 2009